
\AtBeginDocument{\AlsoImplementation}
\input{module-one.dtx}
